Bounded Synthesis for Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Robust synthesis for real-time systems
Specification theories for real-time systems allow reasoning about interfaces and their implementation models, using a set of operators that includes satisfaction, refinement, logical and parallel composition. To make such theories applicable throughout the entire design process from an abstract specification to an implementation, we need to reason about the possibility to effectively implement...
متن کاملVerification of Bounded Real-Time Distributed Systems With Mobility
We introduce and study a prototyping language for describing real-time distributed systems. Its time constraints are expressed as bounded intervals to model the uncertainty of the delay in migration and communication of agents placed in the locations of a distributed system. We provide the operational semantics, and illustrate the new language by a detailed example for which we use software too...
متن کاملDistributed synthesis of real-time computer systems
High-level synthesis has become commonplace in many areas of computing such as VLSI design and digital signal processing. However, it is just beginning to receive attention in the area of real-time systems. Given a real-time application and a design library of components, high-level synthesis involves three main steps: (i) estimation of processors and resources required to meet the constraints ...
متن کاملAutomatic Synthesis of Real Time Systems
This paper presents a method for automatically constructing real time systems directly from their specifications. The model–construction problem is considered for implicit specifications of the form: (A1 | . . . |An |X) sat S where S is a real time (logical) specification, A1 . . . An are given (regular) timed agents and the problem is to decide whether there exists (and if possible exhibit) a ...
متن کاملOn bounded real lemma for fractional systems
Two state space “like” representation based methods for fractional systems L2-gain computation are proposed in this paper. The first is based on an approach already presented in the literature and leads to a new theorem. The theorem is based on the location of the eigenvalues of a matrix issued from the state space “like” representation and is then converted using Riccati theory into an LMI con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.84.0.2